package logica;

import java.util.Map;

public class FormulaNegacao  extends Formula
{
	Formula operando;
	
	public FormulaNegacao(CalculoProposicional calculo, Formula operando) {
		super(calculo);
		this.operando = operando;
	}

	@Override
	public boolean valorar(Map<Atomo, Boolean> valoracao) throws Exception
	{
		return ! operando.valorar(valoracao);
	}

}
